Books by author Anthony W. Lin

Showing 1 – 4 out of 4 results

1. 
   Pre-order

   New!

   Computer Aided Verification

   Eva Darulova, Anthony W. Lin, Philipp Rümmer | Springer, Berlin, 2026

   
   

   Forthcoming - Expected 30. 09. 2026

   Language: English

   Binding: Paperback

   46.52 €

   Pre-order
2. 
   Pre-order

   New!

   Computer Aided Verification

   Eva Darulova, Anthony W. Lin, Philipp Rümmer | Springer, Berlin, 2026

   
   

   Forthcoming - Expected 30. 09. 2026

   Language: English

   Binding: Paperback

   46.52 €

   Pre-order
3. 
   Pre-order

   New!

   Computer Aided Verification

   Eva Darulova, Anthony W. Lin, Philipp Rümmer | Springer, Berlin, 2026

   
   

   Forthcoming - Expected 30. 09. 2026

   Language: English

   Binding: Paperback

   46.52 €

   Pre-order
4. 

   Reachability Problems

   Anthony W. Lin, Georg Zetzsche, Igor Potapov | Springer, Berlin, 2022

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   56.74 €

   Sale 7 %

   You save 4.76 €

   Buy

Returning customers have discounts and benefits. Find out more